Finite-difference solution of the conjugate heat transfer,natural convection,and solidification problem

A mathematical model of the solidification of a binary melt under convection conditions with a two-phase zone taken into account is formulated on the basis of average transfer equations. Results of a numerical solution are presented.Translated from Inzhenerno-Fizicheskii Zhurnal, Vol. 47, No. 2, pp. 286–293, August, 1984.     

Test selection based on communicating nondeterministic finite-statemachines using a generalized Wp-method

Presents a method of generating test sequences for concurrent programs and communication protocols that are modeled as communicating nondeterministic finite-state machines (CNFSMs). A conformance relation, called trace-equivalence, is defined within this model, serving as a guide to test generation. A test generation method for a single nondeterministic finite-state machine (NFSM) is developed, which is an improved and generalized version of the Wp-method that generates test sequences only for deterministic finite-state machines. It is applicable to both nondeterministic and deterministic finite-state machines. When applied to deterministic finite-state machines, it yields usually smaller test suites with full fault coverage than the existing methods that also provide full fault coverage, provided that the number of states in implementation NFSMs are bounded by a known integer. For a system of CNFSMs, the test sequences are generated in the following manner: a system of CNFSMs is first reduced into a single NFSM by reachability analysis; then the test sequences are generated from the resulting NFSM using the generalized Wp-method     

Generating asynchronous test cases from test purposes

Context

Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.

Objective

In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.

Method

When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.

Results

We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.

Conclusion

The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction.     

Real-time 2D–3D filtering using order statistics based algorithms

The paper presents a review of the author’s own results obtained in the last several years. Some examples of real-time processing of 2D and 3D images are described. In particular, we discuss the noise model and objective criteria that can be applied to characterize the performance of the processing algorithms. Several proposed algorithms based on RM approach are compared with other known ones, demonstrating the advantages in noise suppressing and preservation of fine image details and edges. A number of 2D and 3D image denoising filters are implemented on DSP, realizing real-time mode in the image processing. The performances of the proposed processing algorithms and the known ones are discussed and evaluated here.

Landscape phages and their fusion proteins targeted to breast cancer cells

Breast cancer is a leading cause of death among women in the USA. The efficacy of existing anticancer therapeutics can be improved by targeting them through conjugation with ligands binding to cellular receptors. Recently, we developed a novel drug targeting strategy based on the use of pre-selected cancer-specific 'fusion pVIII proteins' (fpVIII), as targeting ligands. To study the efficiency of this approach in animal models, we developed a panel of breast cancer cell-binding phages as a source of targeted fpVIIIs. Two landscape phage peptide libraries (8-mer f8/8 and 9-mer f8/9) were screened to isolate 132 phage variants that recognize breast carcinoma cells MCF-7 and ZR-75-1 and internalize into the cells. When tested for their interaction with the breast cancer cells in comparison with liver cancer cells HepG2, human mammary cells MCF-10A cells and serum, 16 of the phage probes selectively interacted with the breast cancer cells whereas 32 bound both breast and liver cancer cells. The most prominent cancer-specific phage DMPGTVLP, demonstrating sub-nanomolar Kd in interaction with target cells, was used for affinity chromatography of cellular membrane molecules to reveal its potential binding receptor. The isolated protein was identified by direct sequencing as cellular surface nucleolin. This conclusion was confirmed by inhibition of the phage-cell interaction with nucleolin antibodies. Other prominent phage binders VPTDTDYS, VEEGGYIAA, and DWRGDSMDS demonstrate consensus motifs common to previously identified cancer-specific peptides. Isolated phage proteins exhibit inherent binding specificity towards cancer cells, demonstrating the functional activity of the selected fused peptides. The selected phages, their peptide inserts and intact fusion proteins can serve as promising ligands for the development of targeted nanomedicines and their study in model mice with xenograft of human cells MCF-7 and ZR-75-1.     

A novel copolymer of N-[(tert-butylperoxy)methyl]acrylamide and maleic anhydride for use as a reactive surfactant in emulsion polymerization

A new copolymer of N-[(tert-butylperoxy)methyl]acrylamide (tBPMAAm), containing a primary–tertiary peroxide group and maleic anhydride (MA), was synthesized and employed as a reactive surfactant (inisurf) for the emulsion polymerization of styrene to yield surface-functionalized (peroxidized) reactive latex particles. The copolymerization characteristics were analyzed to determine the monomer reactivity ratios and to provide a way to control the copolymer composition. The ability of tBPMAAm–MA to act as a reactive surfactant during emulsion polymerization was confirmed by the synthesis of monodisperse polystyrene latexes of varying particle size. In addition, peroxide groups were localized on the surface of the particles in a controllable amount (depending on the copolymer concentration), thus, providing the opportunity for further modification of the surface of the particles. This novel copolymer is expected to be a promising and efficient material in the synthesis of functional polymer nanoparticles with well-defined core–shell morphologies.     

Betulin Sulfonamides as Carbonic Anhydrase Inhibitors and Anticancer Agents in Breast Cancer Cells

Hypoxia-regulated protein carbonic anhydrase IX (CA IX) is up-regulated in different tumor entities and correlated with poor prognosis in breast cancer patients. Due to the radio- and chemotherapy resistance of solid hypoxic tumors, derivatives of betulinic acid (BA), a natural compound with anticancer properties, seem to be promising to benefit these cancer patients. We synthesized new betulin sulfonamides and determined their cytotoxicity in different breast cancer cell lines. Additionally, we investigated their effects on clonogenic survival, cell death, extracellular pH, HIF-1α, CA IX and CA XII protein levels and radiosensitivity. Our study revealed that cytotoxicity increased after treatment with the betulin sulfonamides compared to BA or their precursors, especially in triple-negative breast cancer (TNBC) cells. CA IX activity as well as CA IX and CA XII protein levels were reduced by the betulin sulfonamides. We observed elevated inhibitory efficiency against protumorigenic processes such as proliferation and clonogenic survival and the promotion of cell death and radiosensitivity compared to the precursor derivatives. In particular, TNBC cells showed benefit from the addition of sulfonamides onto BA and revealed that betulin sulfonamides are promising compounds to treat more aggressive breast cancers, or are at the same level against less aggressive breast cancer cells.     

Method for Calculating Cartesian Coordinates of Operator’s Arm Joints for Anthropomorphic Manipulator Master-Slave Control Using Exoskeleton

The main goal of the work is to increase the accuracy of the anthropomorphic manipulator master-slave teleoperation by calculating the coordinates of the operator’s arm joints. The master device is an exoskeleton worn on the operator’s arm, and the slave device is an anthropomorphic manipulator. A method based on the solution of the forward kinematics and empirical simplifications is proposed in this paper. The position of the nodal points of the exoskeleton was calculated by solving the direct kinematics problem. The coordinates of the operator’s arm joints, which were rigidly connected to the exoskeleton nodal points, were calculated geometrically. For the operator’s arm elbow joint, which was flexibly connected to the exoskeleton, an empirical relation was proposed. It simplified the calculation of the elbow joint position. The experiment showed a decrease in the mismatch between the operator’s arm angles and the manipulator joint angles from 20.7° to 2.9°. The proposed method increases the convenience of the master-slave control.     

Wavefront sensor based on the Talbot effect with the precorrected holographic grating

A holographic wavefront sensor based on the Talbot effect is proposed. Optical wavefronts are measured by sampling the light amplitude distribution with a two-dimensional (2D) precorrected holographic grating. The factors that allow changing an angular measurement range and a spatial resolution of the sensor are discussed. A comparative analysis with the Shack-Hartmann sensor is illustrated with some experimental results.     

Effect of metal catalyst thermal expansion on thermal stability of synthetic diamonds

Thermal stability of synthetic diamonds grown in various metallic solutions in terms of their residual strength after thermal loading is studied. The micromechanical, cohesive zone model of crack initiation and propagation in the diamond crystal in a vicinity of metal inclusion has been developed. The inclusion-diamond thermal expansion mismatch is found to be a key factor responsible for the strength reduction of diamond crystals after high-temperature treatment. The results of computer simulation satisfactory correlate with the available experimental data.